Optimal. Leaf size=431 \[ -\frac {3 i (e+f x)^2 \tan ^{-1}\left (e^{i (c+d x)}\right )}{4 a d}+\frac {5 f^2 \tanh ^{-1}(\sin (c+d x))}{6 a d^3}+\frac {f^2 \log (\cos (c+d x))}{3 a d^3}+\frac {3 i f (e+f x) \text {Li}_2\left (-i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 i f (e+f x) \text {Li}_2\left (i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 f^2 \text {Li}_3\left (-i e^{i (c+d x)}\right )}{4 a d^3}+\frac {3 f^2 \text {Li}_3\left (i e^{i (c+d x)}\right )}{4 a d^3}-\frac {3 f (e+f x) \sec (c+d x)}{4 a d^2}-\frac {f^2 \sec ^2(c+d x)}{12 a d^3}-\frac {f (e+f x) \sec ^3(c+d x)}{6 a d^2}-\frac {(e+f x)^2 \sec ^4(c+d x)}{4 a d}+\frac {f (e+f x) \tan (c+d x)}{3 a d^2}+\frac {f^2 \sec (c+d x) \tan (c+d x)}{12 a d^3}+\frac {3 (e+f x)^2 \sec (c+d x) \tan (c+d x)}{8 a d}+\frac {f (e+f x) \sec ^2(c+d x) \tan (c+d x)}{6 a d^2}+\frac {(e+f x)^2 \sec ^3(c+d x) \tan (c+d x)}{4 a d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.26, antiderivative size = 431, normalized size of antiderivative = 1.00, number of steps
used = 17, number of rules used = 12, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.429, Rules used = {4627, 4271,
3853, 3855, 4266, 2611, 2320, 6724, 4494, 4270, 4269, 3556} \begin {gather*} -\frac {3 f^2 \text {PolyLog}\left (3,-i e^{i (c+d x)}\right )}{4 a d^3}+\frac {3 f^2 \text {PolyLog}\left (3,i e^{i (c+d x)}\right )}{4 a d^3}+\frac {3 i f (e+f x) \text {PolyLog}\left (2,-i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 i f (e+f x) \text {PolyLog}\left (2,i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 i (e+f x)^2 \text {ArcTan}\left (e^{i (c+d x)}\right )}{4 a d}-\frac {f^2 \sec ^2(c+d x)}{12 a d^3}+\frac {5 f^2 \tanh ^{-1}(\sin (c+d x))}{6 a d^3}+\frac {f^2 \log (\cos (c+d x))}{3 a d^3}+\frac {f^2 \tan (c+d x) \sec (c+d x)}{12 a d^3}+\frac {f (e+f x) \tan (c+d x)}{3 a d^2}-\frac {f (e+f x) \sec ^3(c+d x)}{6 a d^2}-\frac {3 f (e+f x) \sec (c+d x)}{4 a d^2}+\frac {f (e+f x) \tan (c+d x) \sec ^2(c+d x)}{6 a d^2}-\frac {(e+f x)^2 \sec ^4(c+d x)}{4 a d}+\frac {(e+f x)^2 \tan (c+d x) \sec ^3(c+d x)}{4 a d}+\frac {3 (e+f x)^2 \tan (c+d x) \sec (c+d x)}{8 a d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2320
Rule 2611
Rule 3556
Rule 3853
Rule 3855
Rule 4266
Rule 4269
Rule 4270
Rule 4271
Rule 4494
Rule 4627
Rule 6724
Rubi steps
\begin {align*} \int \frac {(e+f x)^2 \sec ^3(c+d x)}{a+a \sin (c+d x)} \, dx &=\frac {\int (e+f x)^2 \sec ^5(c+d x) \, dx}{a}-\frac {\int (e+f x)^2 \sec ^4(c+d x) \tan (c+d x) \, dx}{a}\\ &=-\frac {f (e+f x) \sec ^3(c+d x)}{6 a d^2}-\frac {(e+f x)^2 \sec ^4(c+d x)}{4 a d}+\frac {(e+f x)^2 \sec ^3(c+d x) \tan (c+d x)}{4 a d}+\frac {3 \int (e+f x)^2 \sec ^3(c+d x) \, dx}{4 a}+\frac {f \int (e+f x) \sec ^4(c+d x) \, dx}{2 a d}+\frac {f^2 \int \sec ^3(c+d x) \, dx}{6 a d^2}\\ &=-\frac {3 f (e+f x) \sec (c+d x)}{4 a d^2}-\frac {f^2 \sec ^2(c+d x)}{12 a d^3}-\frac {f (e+f x) \sec ^3(c+d x)}{6 a d^2}-\frac {(e+f x)^2 \sec ^4(c+d x)}{4 a d}+\frac {f^2 \sec (c+d x) \tan (c+d x)}{12 a d^3}+\frac {3 (e+f x)^2 \sec (c+d x) \tan (c+d x)}{8 a d}+\frac {f (e+f x) \sec ^2(c+d x) \tan (c+d x)}{6 a d^2}+\frac {(e+f x)^2 \sec ^3(c+d x) \tan (c+d x)}{4 a d}+\frac {3 \int (e+f x)^2 \sec (c+d x) \, dx}{8 a}+\frac {f \int (e+f x) \sec ^2(c+d x) \, dx}{3 a d}+\frac {f^2 \int \sec (c+d x) \, dx}{12 a d^2}+\frac {\left (3 f^2\right ) \int \sec (c+d x) \, dx}{4 a d^2}\\ &=-\frac {3 i (e+f x)^2 \tan ^{-1}\left (e^{i (c+d x)}\right )}{4 a d}+\frac {5 f^2 \tanh ^{-1}(\sin (c+d x))}{6 a d^3}-\frac {3 f (e+f x) \sec (c+d x)}{4 a d^2}-\frac {f^2 \sec ^2(c+d x)}{12 a d^3}-\frac {f (e+f x) \sec ^3(c+d x)}{6 a d^2}-\frac {(e+f x)^2 \sec ^4(c+d x)}{4 a d}+\frac {f (e+f x) \tan (c+d x)}{3 a d^2}+\frac {f^2 \sec (c+d x) \tan (c+d x)}{12 a d^3}+\frac {3 (e+f x)^2 \sec (c+d x) \tan (c+d x)}{8 a d}+\frac {f (e+f x) \sec ^2(c+d x) \tan (c+d x)}{6 a d^2}+\frac {(e+f x)^2 \sec ^3(c+d x) \tan (c+d x)}{4 a d}-\frac {(3 f) \int (e+f x) \log \left (1-i e^{i (c+d x)}\right ) \, dx}{4 a d}+\frac {(3 f) \int (e+f x) \log \left (1+i e^{i (c+d x)}\right ) \, dx}{4 a d}-\frac {f^2 \int \tan (c+d x) \, dx}{3 a d^2}\\ &=-\frac {3 i (e+f x)^2 \tan ^{-1}\left (e^{i (c+d x)}\right )}{4 a d}+\frac {5 f^2 \tanh ^{-1}(\sin (c+d x))}{6 a d^3}+\frac {f^2 \log (\cos (c+d x))}{3 a d^3}+\frac {3 i f (e+f x) \text {Li}_2\left (-i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 i f (e+f x) \text {Li}_2\left (i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 f (e+f x) \sec (c+d x)}{4 a d^2}-\frac {f^2 \sec ^2(c+d x)}{12 a d^3}-\frac {f (e+f x) \sec ^3(c+d x)}{6 a d^2}-\frac {(e+f x)^2 \sec ^4(c+d x)}{4 a d}+\frac {f (e+f x) \tan (c+d x)}{3 a d^2}+\frac {f^2 \sec (c+d x) \tan (c+d x)}{12 a d^3}+\frac {3 (e+f x)^2 \sec (c+d x) \tan (c+d x)}{8 a d}+\frac {f (e+f x) \sec ^2(c+d x) \tan (c+d x)}{6 a d^2}+\frac {(e+f x)^2 \sec ^3(c+d x) \tan (c+d x)}{4 a d}-\frac {\left (3 i f^2\right ) \int \text {Li}_2\left (-i e^{i (c+d x)}\right ) \, dx}{4 a d^2}+\frac {\left (3 i f^2\right ) \int \text {Li}_2\left (i e^{i (c+d x)}\right ) \, dx}{4 a d^2}\\ &=-\frac {3 i (e+f x)^2 \tan ^{-1}\left (e^{i (c+d x)}\right )}{4 a d}+\frac {5 f^2 \tanh ^{-1}(\sin (c+d x))}{6 a d^3}+\frac {f^2 \log (\cos (c+d x))}{3 a d^3}+\frac {3 i f (e+f x) \text {Li}_2\left (-i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 i f (e+f x) \text {Li}_2\left (i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 f (e+f x) \sec (c+d x)}{4 a d^2}-\frac {f^2 \sec ^2(c+d x)}{12 a d^3}-\frac {f (e+f x) \sec ^3(c+d x)}{6 a d^2}-\frac {(e+f x)^2 \sec ^4(c+d x)}{4 a d}+\frac {f (e+f x) \tan (c+d x)}{3 a d^2}+\frac {f^2 \sec (c+d x) \tan (c+d x)}{12 a d^3}+\frac {3 (e+f x)^2 \sec (c+d x) \tan (c+d x)}{8 a d}+\frac {f (e+f x) \sec ^2(c+d x) \tan (c+d x)}{6 a d^2}+\frac {(e+f x)^2 \sec ^3(c+d x) \tan (c+d x)}{4 a d}-\frac {\left (3 f^2\right ) \text {Subst}\left (\int \frac {\text {Li}_2(-i x)}{x} \, dx,x,e^{i (c+d x)}\right )}{4 a d^3}+\frac {\left (3 f^2\right ) \text {Subst}\left (\int \frac {\text {Li}_2(i x)}{x} \, dx,x,e^{i (c+d x)}\right )}{4 a d^3}\\ &=-\frac {3 i (e+f x)^2 \tan ^{-1}\left (e^{i (c+d x)}\right )}{4 a d}+\frac {5 f^2 \tanh ^{-1}(\sin (c+d x))}{6 a d^3}+\frac {f^2 \log (\cos (c+d x))}{3 a d^3}+\frac {3 i f (e+f x) \text {Li}_2\left (-i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 i f (e+f x) \text {Li}_2\left (i e^{i (c+d x)}\right )}{4 a d^2}-\frac {3 f^2 \text {Li}_3\left (-i e^{i (c+d x)}\right )}{4 a d^3}+\frac {3 f^2 \text {Li}_3\left (i e^{i (c+d x)}\right )}{4 a d^3}-\frac {3 f (e+f x) \sec (c+d x)}{4 a d^2}-\frac {f^2 \sec ^2(c+d x)}{12 a d^3}-\frac {f (e+f x) \sec ^3(c+d x)}{6 a d^2}-\frac {(e+f x)^2 \sec ^4(c+d x)}{4 a d}+\frac {f (e+f x) \tan (c+d x)}{3 a d^2}+\frac {f^2 \sec (c+d x) \tan (c+d x)}{12 a d^3}+\frac {3 (e+f x)^2 \sec (c+d x) \tan (c+d x)}{8 a d}+\frac {f (e+f x) \sec ^2(c+d x) \tan (c+d x)}{6 a d^2}+\frac {(e+f x)^2 \sec ^3(c+d x) \tan (c+d x)}{4 a d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Both result and optimal contain complex but leaf count is larger than twice
the leaf count of optimal. \(1577\) vs. \(2(431)=862\).
time = 8.49, size = 1577, normalized size = 3.66 \begin {gather*} -\frac {(\cos (c)+i \sin (c)) \left (-3 i d^2 e^2 x-4 i f^2 x-3 i d^2 e f x^2-i d^2 f^2 x^3+3 d e^2 \log (-\cos (c+d x)-i (-1+\sin (c+d x)))+\frac {4 f^2 \log (-\cos (c+d x)-i (-1+\sin (c+d x)))}{d}+6 d e f x \log (1+i \cos (c+d x)-\sin (c+d x))+3 d f^2 x^2 \log (1+i \cos (c+d x)-\sin (c+d x))-3 i d e^2 \log (-\cos (c+d x)-i (-1+\sin (c+d x))) (\cos (c)-i \sin (c))-\frac {4 i f^2 \log (-\cos (c+d x)-i (-1+\sin (c+d x))) (\cos (c)-i \sin (c))}{d}-6 i d e f x \log (1+i \cos (c+d x)-\sin (c+d x)) (\cos (c)-i \sin (c))-3 i d f^2 x^2 \log (1+i \cos (c+d x)-\sin (c+d x)) (\cos (c)-i \sin (c))+\frac {6 f^2 \text {Li}_3(-i \cos (c+d x)+\sin (c+d x)) (\cos (c)+i (-1+\sin (c))) (\cos (c)-i \sin (c))}{d}+6 f (e+f x) \text {Li}_2(-i \cos (c+d x)+\sin (c+d x)) (\cos (c)-i \sin (c)) (-1-i \cos (c)+\sin (c))\right )}{8 a d^2 (\cos (c)+i (-1+\sin (c)))}-\frac {i (\cos (c)+i \sin (c)) \left (9 d^3 e^2 x+28 d f^2 x+9 d^3 e f x^2+3 d^3 f^2 x^3+18 i d^2 e f x \log (1-i \cos (c+d x)+\sin (c+d x))+9 i d^2 f^2 x^2 \log (1-i \cos (c+d x)+\sin (c+d x))+9 i d^2 e^2 \log (\cos (c+d x)+i (1+\sin (c+d x)))+28 i f^2 \log (\cos (c+d x)+i (1+\sin (c+d x)))-18 d^2 e f x \log (1-i \cos (c+d x)+\sin (c+d x)) (\cos (c)-i \sin (c))-9 d^2 f^2 x^2 \log (1-i \cos (c+d x)+\sin (c+d x)) (\cos (c)-i \sin (c))-9 d^2 e^2 \log (\cos (c+d x)+i (1+\sin (c+d x))) (\cos (c)-i \sin (c))-28 f^2 \log (\cos (c+d x)+i (1+\sin (c+d x))) (\cos (c)-i \sin (c))-18 f^2 \text {Li}_3(i \cos (c+d x)-\sin (c+d x)) (\cos (c)-i (1+\sin (c)))+18 d f (e+f x) \text {Li}_2(i \cos (c+d x)-\sin (c+d x)) (\cos (c)-i \sin (c)) (\cos (c)+i (1+\sin (c)))\right )}{24 a d^3 (\cos (c)+i (1+\sin (c)))}+\frac {\frac {3 e^2 x \cos (c)}{4 a}+\frac {3 i e^2 x \sin (c)}{4 a}}{1+\cos (2 c)+i \sin (2 c)}+\frac {\frac {3 e f x^2 \cos (c)}{4 a}+\frac {3 i e f x^2 \sin (c)}{4 a}}{1+\cos (2 c)+i \sin (2 c)}+\frac {\frac {f^2 x^3 \cos (c)}{4 a}+\frac {i f^2 x^3 \sin (c)}{4 a}}{1+\cos (2 c)+i \sin (2 c)}+\frac {e^2+2 e f x+f^2 x^2}{8 a d \left (\cos \left (\frac {c}{2}+\frac {d x}{2}\right )-\sin \left (\frac {c}{2}+\frac {d x}{2}\right )\right )^2}+\frac {-e f \sin \left (\frac {d x}{2}\right )-f^2 x \sin \left (\frac {d x}{2}\right )}{2 a d^2 \left (\cos \left (\frac {c}{2}\right )-\sin \left (\frac {c}{2}\right )\right ) \left (\cos \left (\frac {c}{2}+\frac {d x}{2}\right )-\sin \left (\frac {c}{2}+\frac {d x}{2}\right )\right )}+\frac {-e^2-2 e f x-f^2 x^2}{8 a d \left (\cos \left (\frac {c}{2}+\frac {d x}{2}\right )+\sin \left (\frac {c}{2}+\frac {d x}{2}\right )\right )^4}+\frac {e f \sin \left (\frac {d x}{2}\right )+f^2 x \sin \left (\frac {d x}{2}\right )}{6 a d^2 \left (\cos \left (\frac {c}{2}\right )+\sin \left (\frac {c}{2}\right )\right ) \left (\cos \left (\frac {c}{2}+\frac {d x}{2}\right )+\sin \left (\frac {c}{2}+\frac {d x}{2}\right )\right )^3}+\frac {-3 d^2 e^2 \cos \left (\frac {c}{2}\right )-d e f \cos \left (\frac {c}{2}\right )-f^2 \cos \left (\frac {c}{2}\right )-6 d^2 e f x \cos \left (\frac {c}{2}\right )-d f^2 x \cos \left (\frac {c}{2}\right )-3 d^2 f^2 x^2 \cos \left (\frac {c}{2}\right )-3 d^2 e^2 \sin \left (\frac {c}{2}\right )+d e f \sin \left (\frac {c}{2}\right )-f^2 \sin \left (\frac {c}{2}\right )-6 d^2 e f x \sin \left (\frac {c}{2}\right )+d f^2 x \sin \left (\frac {c}{2}\right )-3 d^2 f^2 x^2 \sin \left (\frac {c}{2}\right )}{12 a d^3 \left (\cos \left (\frac {c}{2}\right )+\sin \left (\frac {c}{2}\right )\right ) \left (\cos \left (\frac {c}{2}+\frac {d x}{2}\right )+\sin \left (\frac {c}{2}+\frac {d x}{2}\right )\right )^2}+\frac {7 \left (e f \sin \left (\frac {d x}{2}\right )+f^2 x \sin \left (\frac {d x}{2}\right )\right )}{6 a d^2 \left (\cos \left (\frac {c}{2}\right )+\sin \left (\frac {c}{2}\right )\right ) \left (\cos \left (\frac {c}{2}+\frac {d x}{2}\right )+\sin \left (\frac {c}{2}+\frac {d x}{2}\right )\right )} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 1118 vs. \(2 (382 ) = 764\).
time = 0.36, size = 1119, normalized size = 2.60
method | result | size |
risch | \(\text {Expression too large to display}\) | \(1119\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 1546 vs. \(2 (383) = 766\).
time = 0.48, size = 1546, normalized size = 3.59 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {\int \frac {e^{2} \sec ^{3}{\left (c + d x \right )}}{\sin {\left (c + d x \right )} + 1}\, dx + \int \frac {f^{2} x^{2} \sec ^{3}{\left (c + d x \right )}}{\sin {\left (c + d x \right )} + 1}\, dx + \int \frac {2 e f x \sec ^{3}{\left (c + d x \right )}}{\sin {\left (c + d x \right )} + 1}\, dx}{a} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F(-1)]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \text {Hanged} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________